課程名稱 |
基本邏輯上 Elementary Logic (1) |
開課學期 |
100-1 |
授課對象 |
文學院 哲學系 |
授課教師 |
彭孟堯 |
課號 |
Phl1005 |
課程識別碼 |
104 12001 |
班次 |
|
學分 |
2 |
全/半年 |
全年 |
必/選修 |
必帶 |
上課時間 |
星期四6,7,8(13:20~16:20) |
上課地點 |
水源階梯201 |
備註 |
總人數上限:90人 |
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/1001logic1 |
課程簡介影片 |
|
核心能力關聯 |
本課程尚未建立核心能力關連 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
邏輯乃是一門研究推論結構的形式科學,著眼於論證中前提與結論之間的形式關係,一方面以評判論證的正確與否(演繹論證的有效性),另一方面對於有效論證可藉由邏輯規則與證明方法,從前提形式推演出結論。本門課將介紹論證的基本概念、邏輯規則、以及論證的檢驗與證明,以引導學習者進入當代邏輯,內容將包括命題邏輯與述詞邏輯兩大部份。本門課第二部份將介紹歸納邏輯,包括枚舉歸納法、最佳解釋推論、類比推論,以及其他類型的推論,例如因果推論及米爾五法。另外,本門課也將解說一些關於初階邏輯的哲學議題。 |
課程目標 |
介紹初階邏輯(包括命題邏輯以及述詞邏輯),歸納邏輯,以及初階邏輯的一些哲學議題。 |
課程要求 |
|
預期每週課後學習時數 |
|
Office Hours |
每週一 13:00~15:00 |
指定閱讀 |
|
參考書目 |
Hausman, A., Kahane, H., & Tidman, P. (2010/2007), Logic and Philosophy: A Modern Introduction, 11th edition. Wadsworth.
Hurley, P. (2008), A Concise Introduction to Logic, 10th edition. Wadsworth.
Copi, I.M. & Cohen, C. (2008), Introduction to Logic, 13th edition. Prentice Hall.
彭孟堯(2010),《基礎邏輯》。學富出版社。 |
評量方式 (僅供參考) |
No. |
項目 |
百分比 |
說明 |
1. |
期中考 |
40% |
|
2. |
學期考試 |
40% |
|
3. |
作業 |
20% |
作業兩次,各10%。 |
|
週次 |
日期 |
單元主題 |
第1週 |
9/15 |
基本概念:語句與論證、演繹與歸納 |
第2週 |
9/22 |
命題邏輯語言與日常語言的符號化 |
第3週 |
9/29 |
命題邏輯語言與日常語言的符號化
論證有效性之檢定:真值表、歸謬真值表、樹枝法 |
第4週 |
10/06 |
論證有效性之檢定:真值表、歸謬真值表、樹枝法 |
第5週 |
10/13 |
命題邏輯的證明:自然演繹 |
第6週 |
10/20 |
命題邏輯的證明:自然演繹 |
第7週 |
10/27 |
命題邏輯的證明:自然演繹 |
第8週 |
11/03 |
期中考試 |
第9週 |
11/10 |
三段論邏輯與范恩圖解 |
第10週 |
11/17 |
一元述詞邏輯語言與日常語言的符號化 |
第11週 |
11/24 |
一元述詞邏輯語言與日常語言的符號化
無效論證的檢定 |
第12週 |
12/01 |
無效論證的檢定
|
第13週 |
12/08 |
述詞邏輯的證明(量限推論) |
第14週 |
12/15 |
述詞邏輯的證明(量限推論) |
第15週 |
12/22 |
述詞邏輯的證明(量限推論)
多元述詞邏輯(關係邏輯) |
第16週 |
12/29 |
多元述詞邏輯(關係邏輯) |
第17週 |
1/05 |
多元述詞邏輯(關係邏輯) |
|